Section: Application Domains

Application Domains

The theoretical framework we use (automata, process algebras, bisimulations, temporal logics, etc.) and the software tools we develop are general enough to fit the needs of many application domains. They are applicable to virtually any system or protocol that consists of distributed agents communicating by asynchronous messages. The list of recent case studies performed with the CADP toolbox (see in particular § 6.5) illustrates the diversity of applications:

• Bioinformatics: genetic regulatory networks, nutritional stress response, metabolic pathways,

• Component-based systems: Web services, peer-to-peer networks,

• Databases: transaction protocols, distributed knowledge bases, stock management,

• Distributed systems: virtual shared memory, dynamic reconfiguration algorithms, fault tolerance algorithms, cloud computing,

• Embedded systems: air traffic control, avionic systems, medical devices,

• Hardware architectures: multiprocessor architectures, systems on chip, cache coherency protocols, hardware/software codesign,

• Human-machine interaction: graphical interfaces, biomedical data visualization, plasticity,

• Security protocols: authentication, electronic transactions, cryptographic key distribution,

• Telecommunications: high-speed networks, network management, mobile telephony, feature interaction detection.